Filling the Gap between OWL 2 QL and QuOnto: ROWLKit
نویسندگان
چکیده
Ontologies are nowadays one of the most prominent formalisms used in the area of Semantic Web for knowledge representation. Several efforts have been made by the W3C in order to define OWL (Web Ontology Language) and by developers in order to develop reasoners able to deal with ontologies defined by means of OWL. Unfortunately, the goals of the working groups for standard languages definition rarely meet the ones of reasoners developers and viceversa. In this paper we present ROWLKit , a query answering system for ontologies compliant with OWL 2 QL, a profile of OWL 2 that is inspired by DL-LiteR, one of the language of the DL-Lite family. In particular we show how to extend QuOnto, a pre-existing reasoner for DL-LiteR in order to implement the features of OWL 2 QL not natively supported by QuOnto thus bridging the gap between the standard language and the system implementation. We show the efficacy of our approach presenting experimental results based on the University Ontology Benchmark.
منابع مشابه
Graph-Based Ontology Classification in OWL 2 QL
Ontology classification is the reasoning service that computes all subsumption relationships inferred in an ontology between concept, role, and attribute names in the ontology signature. OWL 2 QL is a tractable profile of OWL 2 for which ontology classification is polynomial in the size of the ontology TBox. However, to date, no efficient methods and implementations specifically tailored to OWL...
متن کاملA Graph-Based Approach for Classifying OWL 2 QL Ontologies
Ontology classification is the reasoning service that computes all subsumption relationships inferred in an ontology between concept, role, and attribute names in the ontology signature. OWL 2 QL is a tractable profile of OWL 2 for which ontology classification is polynomial in the size of the ontology TBox. However, to date, no efficient methods and implementations specifically tailored to OWL...
متن کاملEvaluation of Techniques for Inconsistency Handling in OWL 2 QL Ontologies
In this paper we present the Quonto Inconsistent Data handler (QuID). QuID is a reasoner for OWL 2 QL that is based on the system Quonto and is able to deal with inconsistent ontologies. The central aspect of QuID is that it implements two different, orthogonal strategies for dealing with inconsistency: ABox repairing techniques, based on data manipulation, and consistent query answering techni...
متن کاملFinite Model Reasoning in DL-Lite
The semantics of OWL-DL and its subclasses are based on the classical semantics of first-order logic, in which the interpretation domain may be an infinite set. This constitutes a serious expressive limitation for such ontology languages, since, in many real application scenarios for the Semantic Web, the domain of interest is actually finite, although the exact cardinality of the domain is unk...
متن کاملConjunctive Query Inseparability in OWL 2 QL is ExpTime-hard
We settle an open question on the complexity of the following problem: given two OWL 2 QL TBoxes and a signature, decide whether these TBoxes return the same answers to any conjunctive query over any data formulated in the given signature. It has been known that the complexity of this problem is between PSpace and ExpTime. Here we show that the problem is ExpTime-complete and, in fact, deciding...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009